1. <The> Formal Description Technique Lotos: Results of the ESPRIT/ SEDOS Project
Author:
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Electronic data processing- Distributed processind,ESPRIT/ SEDOS Project,System design
Classification :
QA
،
76
.
9
،.
D5
,
F65
،
1989
2. The Formal description technique Estelle: : results of the ESPRIT/SEDOS Project
Author: edited by Michel Diaz ... ]et al.[
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic data processing- Distributed processing,، ESPRIT/SEDOS Project,، System design
Classification :
QA
76
.
9
.
D5F66
1989
